all :
	g++ -c -MMD -DSTL_HASH_TR1 -g -Wall -O2  -o typedef.o typedef.cc
	g++ -c -MMD -DSTL_HASH_TR1 -g -Wall -O2  -I../ansi-c/ -I../langapi/ -I../util/ -I../goto-programs/ -I../ -o cfa.o cfa.cc
clean:
	rm -f cfa.o  typedef.o cfa.d  typedef.d
